up previous next
MinGBoverZZ [PROTOTYPE]    --    [PROTOTYPE] minimal Groebner basis of polys over ZZ


Syntax 
MinGBoverZZ(L: LIST of RINGELEM): LIST

Description
This function returns a minimal Groebner basis of the ideal generated by L, which must be a list of polynomials from a ring with coefficient ring ZZ . This is just a prototype: exact semantics, and interface are likely to change!

Example 
/**/  use ZZ[x,y];
/**/ MinGBoverZZ([x^2+y^2+2, x^3-y^3, x*y-2*x-3]);
[1460,  4*y +308,  x +499*y +500,  y^2 -6*x +4*y -3]

See Also